Yumuşak Kat Düzensizliği Olan Betonarme Binalarin Doğrusal Olmayan Davranişlarinin İncelenmesi
نویسندگان
چکیده
منابع مشابه
Automata for KAT Expressions
Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...
متن کاملÜlkemizdeki Trafik Kazalarının Zamansal Değişimlerinin İncelenmesi
There is an imperative need to understand how, where and when traffic accidents occur in order to develop appropriate accident reduction strategies. An improved understanding of the location, time and reasons for traffic accidents makes a significant contribution to preventing them. Traffic accident occurrences have been extensively studied from different spatial and temporal points of view usi...
متن کاملThe Modified (G′/G)-Expansion Method for Exact Solutions of the (3 + 1)-Dimensional Jimbo-Miwa Equation
Özet. Bu makalede, (G′/G)-açılım metodunu başarıyla değiştirdik ve bir uygulama olarak (3+1)-boyutlu Jimbo-Miwa denkleminin kesin çözümlerini inşa etmek için önerdik. Elde edilen çözümlerin yani hiperbolik fonksiyon çözümlerinin, trigonometrik fonksiyon çözümlerinin ve kesirli çözümlerin her biri çalışılan denklemdeki değişkenlerin açık doğrusal bir fonksiyonunu içermektedir. Önerilen metodun, ...
متن کاملKAT and PHL in Coq
In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...
متن کاملPrevalence of Black Stain and Dental Caries in Children Attending a University Pediatric Dentistry Clinic in Istanbul
Amaç: Bu çalışmanın amacı İstanbul’da bir üniversite pedodonti kliniğine başvuran çocuklarda siyah dışsal renkleşme ve diş çürüğü prevalansının literatürdeki diğer ülkelerle karşılaştırılmasıdır. Yöntem: İstanbul ilinde yaşayan beş ila on üç yaş arasında diş tedavisi için Marmara Üniversitesi Pedodonti kliniğine başvuran; 325 (167 erkek, 158 kız) çocuktan oluşan çalışma grubunda siyah dışsal re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Academic Perspective Procedia
سال: 2020
ISSN: 2667-5862
DOI: 10.33793/acperpro.03.02.4